Natural language and formal methods

نویسندگان

چکیده

Philosophical problems concerning language are as old the philosophy itself. The works of Frege, Russell and Tarski brought closer to modern logic. Formal methods found in logic together with structural analysis natural languages we owe work Chomsky his school form backbone formal semantics, fertile discipline that has significantly improved our understanding mechanisms on which rest. We will discuss whether what extent have been incorporated language, well possible reasons led it.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Language Theory For Natural Language Processing

This paper reports on a course whose aim is to introduce Formal Language Theory to students with little formal background (mostly linguistics students). The course was first taught at the European Summer School for Logic, Language and Information to a mixed audience of students, undergraduate, graduate and postgraduate, with various backgrounds. The challenges of teaching such a course include ...

متن کامل

On Natural Language Generation of Formal Argumentation

In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural language interfaces. It is a generally held opinion that formal models of argumentation naturally capture human argument, and some preliminary studies have focused on justifying this view. Unfortunately, the results are not ...

متن کامل

From natural language to formal language: when MultiTALE meets GALEN.

In the GALEN project, the syntactic-semantic tagger MultiTALE is upgraded to extract knowledge from natural language surgical procedure expressions. In this paper, we describe the methodology applied and show that out of a randomly selected sample of such expressions, 81% could be analysed correctly. The problems encountered are summarised and areas of further investigation identified.

متن کامل

Natural Language Processing and Biological Methods

During the 20th century, biology—especially molecular biology—has become a pilot science, so that many disciplines have formulated their theories under models taken from biology. Computer science has become almost a bio-inspired field thanks to the great development of natural computing and DNA computing. From linguistics, interactions with biology have not been frequent during the 20th century...

متن کامل

Complexity and Expressiveness for Formal Structures in Natural Language Processing

The formalized and algorithmic study of human language within the field of Natural Language Processing (NLP) has motivated much theoretical work in the related field of formal languages, in particular the subfields of grammar and automata theory. Motivated and informed by NLP, the papers in this thesis explore the connections between expressibility – that is, the ability for a formal system to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoria

سال: 2022

ISSN: ['1665-6415']

DOI: https://doi.org/10.2298/theo2203083z